He wanted to have a precise way of stating results and of proving them, for he realised the difficulties of using ordinary language which was necessarily imprecise and ambiguous. 그 결과를 나타 그들 증명의 정확한 방법을 가지고 싶었을 그는 반드시 부정 확한되었고 모호한 언어를 사용하는 일반적인 어려움을 깨달았다.